1. ALPUK 92

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Logic programming -- Congresses

رده :
QA
76
.
63
.
A38
1993

2. Algebraic and logic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebraic logic-- Congresses,Logic programming-- Congresses

رده :
QA76
.
6
.
A45843
1994

3. Algebraic and logic programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.

رده :
QA76
.
6
J473
1989

4. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
343

5. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
463

6. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
632

7. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
6
.
A4583
1988

8. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses

رده :
QA
76
.
6
.
A4584
1990

9. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
1139

10. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
850

11. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1298

12. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses

رده :
QA
76
.
6
.
A45842
1992

13. Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Declarative programming,Congresses ، Knowledge management,Congresses ، Logic programming

رده :
QA
76
.
L28
Vol
.
3392

14. Based Program Synthesis and Transformation :-Logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic programming ; Congresses. ;

15. CSL'87 lst workshop on computer science logic

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Electronic digital computers-- Design and construction-- Congresses,، Logic design-- Computer programming-- Congresses

رده :
QA
76
.
6
.
W6
1987

16. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(

رده :
QA
76
.
L28
Vol
.
2120

17. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(

رده :
QA
76
.
L28
Vol
.
3438

18. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
845

19. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses

رده :
QA
76
.
63
.
I566
1995

20. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(

رده :
QA
76
.
63
I566
1995